首页> 外文OA文献 >Proofs, proofs, proofs, and proofs?

【2h】

Proofs, proofs, proofs, and proofs?

机译：证明，校样，校样和校样？

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Manfred Kerber;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Biosimilars: Is absence of proof of difference, proof of absence of difference? [Biosimilaires : ? Is absence of proof of difference, proof of absence of difference? ?] [J] . DicatoM. Oncologie. . 2011,第5期

机译：生物仿制药：是没有差异证明，还是没有差异证明？ [Biosimilaires ：？是没有差异证明，没有差异证明吗？？]
2. Herbrand proofs and expansion proofs as decomposed proofs [J] . Ralph Benjamin Journal of logic and computation . 2020,第8期

机译：Herbrand证明和扩展证明作为分解证明
3. How Can I Get My Paper Reviewed More Quickly? Proof, Proof, Proof! [J] . DeWitt Christina Journal of aquatic food product technology . 2018,第6a10期

机译：如何让我的论文更快地审查？证明，证明，证明！
4. Proofs, Proofs, Proofs, and Proofs [C] . Manfred Kerber Intelligent computer mathematics . 2010

机译：证明，证明，证明和证明
5. Interfacing compilers, proof checkers, and proofs for foundational proof-carrying code. [D] . Wu, Dinghao. 2005

机译：连接编译器，证明检查器和基础证明代码的证明。
6. Lightweight Proof of Game (LPoG): A Proof of Work (PoW)’s Extended Lightweight Consensus Algorithm for Wearable Kidneys [O] . Adarsh Kumar, Deepak Kumar Sharma, Anand Nayyar, 2020

机译：轻量级游戏证明（LPoG）：工作量证明（PoW）的可扩展肾脏轻量级共识算法
7. Proofs, proofs, proofs, and proofs [O] . Kerber, Manfred 2010

机译：证明，校样，校样和校样

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号